| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/time_conversion_scenario.utz (time_conversion_scenario.utt), line 3480 |
| occurence |
| scenario |
time_conversion_scenario |
| specification function |
ctime_r_spec() |
| parameter value |
CallContext context = [pid=7529,thr=b74646c0] |
| parameter value |
TimeTObj * @clock = 1000 |
| parameter value |
TimeTObj * clock = 1000 |
| parameter value |
CString * @buf = 1234567890123456789012345 |
| parameter value |
CString * buf = 1234567890123456789012345 |
| return value |
(CString *) Thu·Jan··1·03:16:40·1970 |
coverage
& branch |
C_Priority
Process with high priority |
| properties |
| REQ failed |
ctime_r.01 |
| kind |
POSTCONDITION_FAILED |